Haskell Yoneda,CoYoneda
code:memo.hs
newtype Yoneda f a = Yoneda (forall b. (a -> b) -> f b)
Coyoneda
Control.Functor.Yonedaパッケージ
Control.Functor.Yoneda
米田の補題
Lens
YonedaとCoYoneda、そしてFunctor - capriccioso String Creating(Object something){ return My.Expression(something); }
Introduction to Yoneda and Coyoneda
#Haskell
#圏論